match [] with
| {caret}_ :: [(* foo *)] -> ()
